Vahid Rafe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Recommender System for Tourism Industry Using Cluster Ensemble and Prediction Machine Learning Techniques

Nilashi, Mehrbakhsh, Bagheri Fard, Karamollah, Rahmani, Mohsen, Rafe, Vahid

Journal:

Computers & Industrial Engineering

Year:

2017

Language:

english

File:

PDF, 1.20 MB

english, 2017

2

Modeling and non-functional analysis of service-oriented architectures using AADL

Raziyeh, Aminpour, Vahid, Rafe, Mohsen, Rahmanei

Journal:

Scientific Research and Essays

Year:

2011

File:

PDF, 227 KB

2011

3

Designing an Architectural Style for Pervasive Healthcare Systems

Vahid Rafe, Masoumeh Hajvali

Journal:

Journal of Medical Systems

Year:

2013

Language:

english

File:

PDF, 816 KB

english, 2013

4

Performance Improvement for Recommender Systems Using Ontology

Fard, Karamollah Bagheri, Rahmani, Mohsen, Nilashi, Mehrbakhsh, Rafe, Vahid

Journal:

Telematics and Informatics

Year:

2017

Language:

english

File:

PDF, 1.19 MB

english, 2017

5

A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset

Bagherifard, Karamollah, Rahmani, Mohsen, Rafe, Vahid, Nilashi, Mehrbakhsh

Journal:

Journal of Information & Knowledge Management

Year:

2018

Language:

english

File:

PDF, 991 KB

english, 2018

6

Model-based test suite generation for graph transformation system using model simulation and Search-based techniques

Kalaee, Akram, Rafe, Vahid

Journal:

Information and Software Technology

Year:

2018

Language:

english

File:

PDF, 6.42 MB

english, 2018

7

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms

Esfandyari, Sajad, Rafe, Vahid

Journal:

Applied Soft Computing

Year:

2020

Language:

english

File:

PDF, 4.00 MB

english, 2020

8

Towards automated software model checking using graph transformation systems and Bogor

Vahid Rafe, Adel T. Rahmani

Journal:

Journal of Zhejiang University SCIENCE A

Year:

2009

Language:

english

File:

PDF, 212 KB

english, 2009

9

A heuristic solution for model checking graph transformation systems

Yousefian, Rosa, Rafe, Vahid, Rahmani, Mohsen

Journal:

Applied Soft Computing

Year:

2014

Language:

english

File:

PDF, 1.93 MB

english, 2014

10

A Reliable Architectural Style for Designing Pervasive Healthcare Systems

Vahid Rafe,Masoumeh Hajvali

Journal:

Journal of Medical Systems

Year:

2014

Language:

english

File:

PDF, 2.20 MB

english, 2014

11

[IEEE 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010) - Chengdu, China (2010.08.20-2010.08.22)] 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) - An approach to refactoring legacy systems

Azam Moeini,, Rafe, Vahid, Mahdian, Farzaneh

Year:

2010

Language:

english

File:

PDF, 924 KB

english, 2010

12

A new metaheuristic approach based on agent systems principles

Cuevas, Erik, GÃ¡lvez, Jorge, Avila, Karla, Toski, Miguel, Rafe, Vahid

Journal:

Journal of Computational Science

Year:

2020

File:

PDF, 7.23 MB

2020

13

An Efficient Solution for Model Checking Graph Transformation Systems

Luciano Baresi, Vahid Rafe, Adel T. Rahmani, Paola Spoletini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

14

Galoan: a multi-agent approach to herd cows

Vahid Rafe, Amin Nikanjam, Mohammad Rezaei

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

15

A formal framework to model and validate event-based software architecture

Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 214 KB

english, 2011

16

Style-based modeling and verification of fault tolerance service oriented architectures

Vahid Rafe, Farzaneh Mahdian

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

17

A Qualitative Framework to Assess Hospital / Medical Websites

Vahid Rafe, Maryam Monfaredzadeh

Journal:

Journal of Medical Systems

Year:

2012

Language:

english

File:

PDF, 331 KB

english, 2012

18

ASM2Bogor: An approach for verification of models specified through Asmeta language

Rafe, Vahid, Doostali, Saeed

Journal:

Journal of Visual Languages & Computing

Year:

2012

Language:

english

File:

PDF, 1.69 MB

english, 2012

19

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Using MDA for Developing SOA-Based Applications

Rafe, Vahid, Rafeh, Reza, Fakhri, Parvin, Zangaraki, Shahrbanoo

Year:

2009

Language:

english

File:

PDF, 391 KB

english, 2009

20

Scenario-driven analysis of systems specified through graph transformations

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 454 KB

english, 2013

21

[IEEE 2005 IEEE International Conference on Cluster Computing - Burlington, MA, USA (2005.09.27-2005.09.30)] 2005 IEEE International Conference on Cluster Computing - Providing Local ORB-Like Services to Collocated CORBA Components

Momeni, Hossein, Rahmani, Adel Torkaman, Sharifi, Mohsen, Rafe, Vahid

Year:

2005

Language:

english

File:

PDF, 6.86 MB

english, 2005

22

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Modeling Fault Tolerant Services in Service-Oriented Architecture

Mahdian, Farzaneh, Rafe, Vahid, Rafeh, Reza, Rahmani, Adel T.

Year:

2009

Language:

english

File:

PDF, 196 KB

english, 2009

23

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Towards Automated Software Verification Using Model Checking Techniques

Asadollahi, Somayeh, Rafe, Vahid, Rafeh, Reza, Rahmani, Adel T.

Year:

2009

Language:

english

File:

PDF, 214 KB

english, 2009

24

FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS

RAFE, VAHID, RAHMANI, ADEL T., RAFEH, REZA

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

25

A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS

RAFE, VAHID, RAHMANI, ADEL T.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2009

Language:

english

File:

PDF, 415 KB

english, 2009

26

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Considering Faults in Service-Oriented Architecture: A Graph Transformation-Based Approach

Mahdian, Farzaneh, Rafe, Vahid, Rafeh, Reza, Miralvand, M.R Zand

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

27

A hybrid heuristic workflow scheduling algorithm for cloud computing environments

Mirzayi, Sahar, Rafe, Vahid

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 230 KB

english, 2015

28

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations

Rafe, Vahid, Moradi, Maryam, Yousefian, Rosa, Nikanjam, Amin

Journal:

Applied Soft Computing

Year:

2015

Language:

english

File:

PDF, 3.05 MB

english, 2015

29

Performance measurement of models specified through component-based software architectural styles

Eshraghian, Elham, Rafe, Vahid

Journal:

Year:

2015

Language:

english

File:

PDF, 601 KB

english, 2015

30

Breast Cancer Prediction by Using C5.0 Algorithm and BOOSTING Method

Rafe, Vahid, Farhoud, Sara Hashemi, Rasoolzadeh, Siamak

Journal:

Journal of Medical Imaging and Health Informatics

Year:

2014

Language:

english

File:

PDF, 2.73 MB

english, 2014

31

Using graph transformation systems to formalize Tropos diagrams

Rafe, Vahid, Golparian, Mitra, Rasoolzadeh, Siamak

Journal:

Journal of Visual Languages & Computing

Year:

2015

Language:

english

File:

PDF, 5.15 MB

english, 2015

32

Considering Reliability in Designing Pervasive Healthcare System

Hajvali, Masoomeh, Rafe, Vahid

Journal:

Journal of Medical Imaging and Health Informatics

Year:

2015

Language:

english

File:

PDF, 6.62 MB

english, 2015

33

A Novel Web-based Human Advisor Fuzzy Expert System

Rafe, Vahid, Hassani Goodarzi, Mahdi

Journal:

Journal of Applied Research and Technology

Year:

2013

Language:

english

File:

PDF, 449 KB

english, 2013

34

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Automatic Refinement of Platform Independent Models

Miralvand, Mohamad Reza Zand, Rafe, Vahid, Rafeh, Reza, Hajiee, Maryam

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

35

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Towards Automated Software Verification and Validation

Asadollahi, Somayeh, Rafe, Vahid, Rafeh, Reza

Year:

2009

Language:

english

File:

PDF, 420 KB

english, 2009

36

[IEEE 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010) - Chengdu, China (2010.08.20-2010.08.22)] 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) - A formal framework for software development using publish/Subscribe architecture

Azadeh Esfandyari,, Rafe, Vahid

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

37

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Automated Model Checking of Stochastic Graph Transformation Systems

Rafe, Vahid, Rafeh, Reza, Miralvand, Mohamad Reza Zand, Alavizadeh, Alavie Sadat

Year:

2009

Language:

english

File:

PDF, 251 KB

english, 2009

38

[IEEE 2009 Second International Conference on Computer and Electrical Engineering - Dubai, UAE (2009.12.28-2009.12.30)] 2009 Second International Conference on Computer and Electrical Engineering - Energy-Aware Task Allocation in Wireless Sensor Actor Networks

Rafe, Vahid, Momeni, Hossein, Sharifi, Mohsen

Year:

2009

Language:

english

File:

PDF, 407 KB

english, 2009

39

[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Verification and Validation of Activity Diagrams Using Graph Transformation

Rafe, Vahid, Rafeh, Reza, Azizi, Somayeh, Miralvand, Mohamad Reza Zand

Year:

2009

Language:

english

File:

PDF, 209 KB

english, 2009

40

[IEEE 2009 Second International Conference on Computer and Electrical Engineering - Dubai, UAE (2009.12.28-2009.12.30)] 2009 Second International Conference on Computer and Electrical Engineering - Designing a Framework for Distributing Serial Applications

Year:

2009

Language:

english

File:

PDF, 268 KB

english, 2009

41

Security analysis of network protocols through model checking: a case study on mobile IPv6

Saffarian Eidgahi, Zohreh, Rafe, Vahid

Journal:

Security and Communication Networks

Year:

2016

Language:

english

File:

PDF, 3.13 MB

english, 2016

42

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm

Kalaee, Akram, Rafe, Vahid

Journal:

Quality and Reliability Engineering International

Year:

2015

Language:

english

File:

PDF, 3.20 MB

english, 2015

43

A security framework for developing service-oriented software architectures

Rafe, Vahid, Hosseinpouri, Ramin

Journal:

Security and Communication Networks

Year:

2015

Language:

english

File:

PDF, 1.82 MB

english, 2015

44

[IEEE 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010) - Chengdu, China (2010.08.20-2010.08.22)] 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) - Different models of dependable services in Service-Oriented Architecture

Mahdian, Farzaneh, Rafe, Vahid

Year:

2010

Language:

english

File:

PDF, 445 KB

english, 2010

45

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles

Pira, Einollah, Rafe, Vahid, Nikanjam, Amin

Journal:

Applied Soft Computing

Year:

2016

Language:

english

File:

PDF, 3.76 MB

english, 2016

46

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems

Yousefian, Rosa, Aboutorabi, Shahryar, Rafe, Vahid

Journal:

Journal of Intelligent & Fuzzy Systems

Year:

2016

Language:

english

File:

PDF, 803 KB

english, 2016

47

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain

Rafe, Vahid, Paiandeh, Zahra, Nikanjam, Amin

Journal:

Journal of Intelligent & Fuzzy Systems

Year:

2015

Language:

english

File:

PDF, 277 KB

english, 2015

48

Deadlock Detection in Complex Software Systems Specified through Graph Transformation Using Bayesian Optimization Algorithm

Pira, Einollah, Rafe, Vahid, Nikanjam, Amin

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 2.07 MB

english, 2017

49

Tuned Version of Genetic Algorithm for Efficient Test Suite Generation in Interactive t-way Testing Strategy

Esfandyari, Sajad, Rafe, Vahid

Journal:

Information and Software Technology

Year:

2017

Language:

english

File:

PDF, 1.35 MB

english, 2017

50

[IEEE 2017 9th International Conference on Information and Knowledge Technology (IKT) - Tehran (2017.10.18-2017.10.19)] 2017 9th International Conference on Information and Knowledge Technology (IKT) - An approach to WF-nets generation using graph transformation system

Norouzi, Mehdi, Rafe, Vahid

Year:

2017

Language:

english

File:

PDF, 630 KB

english, 2017